Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
521	ASSESSMENT RESULTS FOR QCC EDUCATIONAL OUTCOME #5 – SS 610 INTRODUCTION TO PHILOSOPHY SPRING 2011 GEN ED#5 – INTEGRATE KNOWLEDGE AND SKILLS IN THEIR PROGRAM OF STUDY QCC Example Outcomes: Add to Reading List Source URL: www.qcc.cuny.edu Language: English - Date: 2014-09-15 09:29:28 Philosophy of education Educational psychology Logic Pedagogy Epistemology Interdisciplinarity Psychology Critical thinking Culture Education Knowledge Cognition
522	[removed]Planning and Implementing an Evidence Based Program COMBAT Conference September 27, 2012 Add to Reading List Source URL: www.jacksongov.org Language: English - Date: 2012-10-05 10:43:24 Evidence-based medicine Afghanistan Public Policy Research Organization Evaluation Science Sociology Evidence-based practice Mandel School of Applied Social Sciences Evaluation methods Needs assessment Logic model
523	Evaluating Coalition Progress and Impacts Add to Reading List Source URL: ohioline.osu.edu Language: English - Date: 2014-10-15 10:59:43 Methodology Impact assessment Logic model Impact evaluation Coalition Empowerment evaluation Program evaluation Evaluation methods Evaluation Sociology
524	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.open-do.org Language: English - Date: 2011-12-14 10:38:39 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
525	Philosophy Program Value Rubric This rubric is designed for use in establishing a framework for student learning outcomes in each of the four Philosophy Programs: General Major; Concentrati Add to Reading List Source URL: www.csus.edu Language: English - Date: 2013-11-04 23:35:49 Epistemology Belief Axiology Branches of philosophy Thought Logic Ethics Pragmatism Mathematical logic Philosophy Science Knowledge
526	A Calculational Approach to Program Inversion Shin-Cheng Mu Linacre College 23rd January 2003 Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 1969-12-31 19:00:00 Operations research Mathematical optimization Mathematical logic Analysis of algorithms Algorithm RSA Dynamic programming Tree traversal Time complexity Mathematics Theoretical computer science Applied mathematics
527	Using Message Passing for Distributed Programming: Proof Rules and Disciplines RICHARD D. SCHLICHTING University of Arizona FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:54:40 Data Communicating sequential processes Concurrent computing Axiom Communications protocol Program logic Computing Process calculi Software
528	The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:44:16 Program logic Concurrent computing Hoare logic Logic programming Communicating sequential processes Modal logic KeY Guarded Command Language Well-formed formula Logic Theoretical computer science Mathematics
529	A Rationale and Description of the BASIC Instructional Program by Avron Barr, Marian Beard, and Richard Co Atkinson This research was supported jointly by: Office of Naval Research Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-09-22 19:14:24 E-learning IB Group 5 subjects PLATO Logic Education Knowledge Logic programming
530	Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989 ii Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 14:07:02 Symmetry Mathematical logic Theoretical computer science Program logic Proof theory Curry–Howard correspondence Predicate transformer semantics Mathematics Group action Group theory

UPDATE